『型システム入門 : プログラミング言語と型の理論』

発行年：(紙)2013/3/26 (電子版)2016/02

頁数：528頁

ISBN：978-4-274-06911-6

定価：7,480円 （本体6,800円＋税）

紀伊國屋のKinoppy版を持ってるけど思ったよりKinoppyが便利。別ウィンドウで表示できるので他の本も表示しつつTAPLも表示できるのでとても参照しやすい

本で紹介されている参考文献のメモ

束、束論について

引っかかったもの1: Mitchell, John C. “Type systems for programming languages”. Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics. Cambridge, MA, USA, MIT Press, 1991, p. 365–458, ISBN0-444-88074-7.

引っかかったもの2: 参考文献の1990年と同じもの

どれが正しいのかちょっとよくわからない。

目次============================

日本語版に寄せて

監訳者序文

実用的情報

序文

謝辞

第1章 はじめに

第2章 数学的準備

■第1部 型無しの計算体系

第3章 型無し算術式

第4章 算術式のML実装

第6章 項の名無し表現

第7章 ラムダ計算のML実装

■第2部 単純型

第8章 型付き算術式

第10章 単純型のML実装

第11章 単純な拡張

第12章 正規化

第13章 参照

第14章 例外

第15章 部分型付け

第16章 部分型付けのメタ理論

第17章 部分型付けのML実装

第18章 事例：命令的オブジェクト

第19章 事例：Featherweight Java

第20章 再帰型

第21章 再帰型のメタ理論

第22章 型再構築

第27章 事例：命令的オブジェクト再考

第28章 有界量化のメタ理論

■第6部 高階の型システム

第30章 高階多相

第31章 高階部分型付け

第32章 事例：純粋関数的オブジェクト

付録A 演習の解答

付録B 記法

参考文献

訳語集

規則図一覧

索引

============================